automated reasoning program造句
例句與造句
- Crucial to McCune's proof was the automated reasoning program EQP he designed.
- Finally, on Oct . 2, McCune gave the Robbins conjecture to a new automated reasoning program that he had written called EQP, for equational prover.
- It's difficult to find automated reasoning program in a sentence. 用automated reasoning program造句挺難的